Intuitionistic logic is presented here as part of familiar classical logic which allows mechanical extraction of programs from proofs. to make the material more accessible, basic techniques are presented first for propositional logic; Part II contains extensions to predicate logic. This material provides an introduction and a safe background for reading research literature in logic and computer science as well as advanced monographs. Readers are assumed to be familiar with basic notions of first order logic. One device for making this (...) book short was inventing new proofs of several theorems. The presentation is based on natural deduction. The topics include programming interpretation of intuitionistic logic by simply typed lambda-calculus (Curry-Howard isomorphism), negative translation of classical into intuitionistic logic, normalization of natural deductions, applications to category theory, Kripke models, algebraic and topological semantics, proof-search methods, interpolation theorem. The text developed from materal for several courses taught at Stanford University in 1992-1999. (shrink)

Ancient allures the postmodern social subject trapped in the strangeness of time—the time after the end of history. For that time-beaten subject ancient is the unconscious of coherence, predictability, and certainty. Or perhaps that ancient is a glory fled. Whatsoever, ancient is generally sacralized—irrespective of the type of socialization that happened in the past—and journey to the ancient is often deemed to be a pilgrimage. When ideas of the ancient in their individuality and totality inter alia become the natural intellectual (...) resource for rebuilding postmodern societies, discriminative ingenuity becomes an essential faculty. Any uncritical reverence of the ancient becomes antithetical to modern social and political values, inviting the risk of reproducing inequities of the past. This article problematizes such uncritical dependence on the ancient using Ancient Indian Jurisprudence, which has been looked up on as a repository of moral and legal values, as a case in point. It meditates from the experiences and perspectives of an imaginary ‘teaching subject’ on the many pitfalls and possibilities of the ancient as it builds a framework of teaching and learning, and a representative scheme of evaluation for Ancient Indian Jurisprudence. (shrink)

In the book, basic principles of syncretic logic (sycretics) are expounded upon, with the help of which group relationships of a philosophical nature are treated. Classical philosophical laws are analyzed, new assertions are formulated, laying claim to the position of laws. Syncretic logic is used for constructing the axiomatic theory of carriers and the analysis of its consequences. The problem of the origins of life is considered, the connection between the course of existence and the laws of conservation in physics (...) is expounded upon, the universal scheme of logical operations is described, the components of the structure of a world view are specified. The work is intended for a wide circle of individuals with philosophical and general scientific interests. (shrink)

This fundamental and straightforward text addresses a weakness observed among present-day students, namely a lack of familiarity with formal proof. Beginning with the idea of mathematical proof and the need for it, associated technical and logical skills are developed with care and then brought to bear on the core material of analysis in such a lucid presentation that the development reads naturally and in a straightforward progression. Retaining the core text, the second edition has additional worked examples which users have (...) indicated a need for, in addition to more emphasis on how analysis can be used to tell the accuracy of the approximations to the quantities of interest which arise in analytical limits. (shrink)

First published in 2005. Routledge is an imprint of Taylor & Francis, an informa company.

Karen Spärck Jones produced over 200 publications, including nine books, in her long research career. She received many awards and honours, including the Association for Computing Machinery Salton Award in 1988; the American Society for Information Science and Technology Award of Merit in 2002; and the joint Association for Computing Machinery and Association for the Advancement of Artificial Intelligence Allen Newell Award in 2007. Karen also worked hard to try to improve the position of women in computing and to attract (...) more women to the discipline. She was a founder member of the ‘women@cl’ network based at the Computer Laboratory and was always unstinting with her time when women students and researchers asked her advice. (shrink)

A layman's guide to the mechanics of Gödel's proof together with a lucid discussion of the issues which it raises. Includes an essay discussing the significance of Gödel's work in the light of Wittgenstein's criticisms.

Over the past two years, debate about the use of data taken from Nazi concentration camp experiments has intensified. Many survivors of the Holocaust have been particularly offended at the publication of hypothermia or other data. This article argues against the use of unethically obtained data, and considers the debate from the perspective of the rights of Holocaust victims.

The sequencing of the human genome and decreasing costs of sequencing technology have led to the notion of ‘personalized medicine’. This has been taken by some authors to indicate that personalized medicine will provide individualized treatments solely based on one’s DNA sequence. We argue this is overly optimistic and misconstrues the notion of personalization. Such interpretations fail to account for economic, policy and structural constraints on the delivery of healthcare. Furthermore, notions of individualization based on genomic data potentially take us (...) down the road of genetic reductionism obscuring the role of environmental factors in disease and ill health. We propose that one should see personalized medicine as a way of using personal genomic information to stratify individuals into subpopulations and suggest that personalized medicine be seen within a broader idea of personalized healthcare, reflecting healthcare that integrates personal genomic data into cultural, environmental and personal contexts. (shrink)

The problem of psychological pain caused by discussions of do not resuscitate status with patients is addressed. Case histories of patients with such distress are given. We propose that not all patients should be informed of their do not resuscitate status, that the information about such status be given incrementally, and that the giving of further information be guided by the patient's reaction to earlier information. While some affirm the duty of the physician always to inform the patient about his (...) or her do not resuscitate status, we affirm the duty of the physician to determine whether the patient wishes to enter into this discussion. (shrink)

Abstract Philosophical discussion of Alan Turing’s writings on intelligence has mostly revolved around a single point made in a paper published in the journal Mind in 1950. This is unfortunate, for Turing’s reflections on machine (artificial) intelligence, human intelligence, and the relation between them were more extensive and sophisticated. They are seen to be extremely well-considered and sound in retrospect. Recently, IBM developed a question-answering computer (Watson) that could compete against humans on the game show Jeopardy! There are hopes it (...) can be adapted to other contexts besides that game show, in the role of a collaborator of, rather than a competitor to, humans. Another, different, research project --- an artificial intelligence program put into operation in 2010 --- is the machine learning program NELL (Never Ending Language Learning), which continuously ‘learns’ by ‘reading’ massive amounts of material on millions of web pages. Both of these recent endeavors in artificial intelligence rely to some extent on the integration of human guidance and feedback at various points in the machine’s learning process. In this paper, I examine Turing’s remarks on the development of intelligence used in various kinds of search, in light of the experience gained to date on these projects. (shrink)

I address questions about values in model-making in engineering, specifically: Might the role of values be attributable solely to interests involved in specifying and using the model? Selected examples illustrate the surprisingly wide variety of things one must take into account in the model-making itself. The notions of system, and physically similar systems are important and powerful in determining what is relevant to an engineering model. Another example illustrates how an idea to completely re-characterize, or reframe, an engineering problem arose (...) during model-making. I employ a qualitative analogue of the notion of physically similar systems. Historical cases can thus be drawn upon; I illustrate with a comparison between a geoengineering proposal to inject, or spray, sulfate aerosols, and two different historical cases involving the spraying of DDT. The current geoengineering proposal is seen to be like the disastrous and counterproductive case, and unlike the successful case, of the spraying of DDT. I conclude by explaining my view that model-making in science is analogous to moral perception in action, drawing on a view in moral theory that has come to be called moral particularism. (shrink)

Twenty years ago in "Turing's Two Tests for Intelligence" I distinguished two distinct tests to be found in Alan Turing's 1950 paper "Computing Machinery and Intelligence": one by then very well-known, the other neglected. I also explained the significance of the neglected test. This paper revisits some of the points in that paper and explains why they are even more relevant today. It also discusses the value of tests for machine intelligence based on games humans play, giving an analysis of (...) some twentieth century TV game shows and how they relate to the tests for machine intelligence in Turing's paper and in some other tests for machine intelligence that have been proposed since. Their value in distinguishing between 'wise' and simply ‘clever’ AI is discussed. (shrink)

The Irish poet W. B. Yeats once wrote, with great sapience and perception: Nor dread, nor hope attend A dying animal; A man awaits his end Dreading and hoping all. That death has ever been a problem to man is attested as far back as we can trace our species in the archaeological record—indeed, it seems to have been a problem even for that immediate precursor of homo sapiens, the so-called Neanderthal Man; for he buried his dead.

In lieu of an abstract, here is a brief excerpt of the content:FEYERABEND'S EPISTEMOLOGY AND BRECHTS THEORY OF THE DRAMA by S. G. Couvalis In his early paper, "On the Improvement of the Sciences and the Arts," Feyerabend argues that, just as rival hypotheses show the shortcomings of entrenched scientific hypotheses, so theatre which presents hypotheses contrary to common beliefs about human beings shows the shortcomings of these beliefs. It develops understanding of human relations more effectively than intellectual debate because (...) it is a more complex medium whose elements can "represent the contrary hypotheses at the same time."1 He takes Brecht to be the first theorist of such a theatre. I shall argue that Brecht's epistemology is similar to Feyerabend's early epistemology and that his dramatic theory is a consequence of it.2 1 shall also argue, however, that Feyerabend is wrong in saying that Brechtian theatre presents contrary hypotheses at the same time, because plays, like descriptions, are theory-laden and Brecht, in any case, intends to show on stage that tragedies have social origins and not to present contrary hypotheses about human beings. According to Brecht, most people improperly assume that human behavior and social relations follow fixed patterns inherent in nature because they have been unable to compare the human behavior they know with that in other societies. They take what they experience to be typically human. Moreover, they interpret their social world as they have been taught: "A child, living in a world of old men... knows the run of things before he can walk."3 Feyerabend brings out the effect of such training very vividly: "The teaching procedures both shape the 'appearance,' or 'phenomenon' and establish a firm connection with words, so that finally the phenomena seem to speak for themselves...."4 Because these interpretations of the social world which children are taught are descriptive, explanatory, and prescriptive, they are more 117 118Philosophy and Literature complex and more dangerous than the interpretations of physical objects they are taught. For example, children learn different evaluations of precisely the same behavior in males and females through being taught how to describe it. In being taught to describe certain behavior as "manly" they are taught both that it arises from a male's nature and that it is laudable behavior for boys but not for girls. "Manly" behavior in a woman is not "confident" or "forthright," but "aggressive" or "pushy." In order to stop us from regarding traditional behavior patterns and social relations as unchangeable, and to enable us to question our descriptions of them, Brecht argues that the dramatist must cause us to cease to regard such patterns and social relations as familiar givens that can only be described in one way. To achieve this, he must not structure his plays on the Aristotelian model. The Aristotelian model makes audiences incapable of criticizing the dramatic message, imparts the view that the sources of tragedy lie in an inexplicable human essence, and presents social rules as if they were unquestionable natural laws. Instead, he should structure his plays to induce in audiences a scientific attitude to social relations and patterns of behavior. Like Feyerabend, Brecht realizes that a scientific attitude is not displayed by collecting descriptions of experience without considering whether the interpretations contained in the descriptions are correct. In Galileo, his view of those who mechanically describe experience in traditional terms is shown in Galileo's replies to the Aristotelian arguments of Andrea. When Andrea argues, "I can see that the sun's not in the same place in the evening and morning. So it can't stand still. It just can't," Galileo replies, "You 'W! What do you see? You see nothing at all. You're just gaping. Gaping isn't seeing." He then demonstrates to Andrea that the apparent motions of objects need not be their real motions because an apparent motion can be caused in more than one way. 5 Brecht shows that the central question for the scientist is not "How shall I collect descriptions of appearances?" but "What is it that I really perceive and how is it caused?" He argues elsewhere that "there's a vast difference between experiment and experience" because experiments are set up to test... (shrink)

This article presents a set of moral arguments regarding the selective abortion of fetuses on the basis of prenatal screening for late onset genetic diseases only, and for Huntington's Disease* in particular. After discussion of human suffering, human perfection and the distinctive features of the lives of people confronting late onset genetic disease, the author concludes that selective abortion is difficult to justify ethically, although it must remain a matter of personal choice.

In spite of the labours of Sedlmayer,1 Ehwald2 and Palmer,3 it cannot be said that there exists a completely satisfactory edition of Ovid's Heroides. One or all of these editors sometimes leave a corrupted text, sometimes adhere too closely to a manuscript reading, and sometimes introduce untenable emendations. A new edition is called for, with revised collati ons of the known manuscripts, and an augmented apparatus criticus, exhibiting the large class of what I may term the ‘Vulgate’ manuscripts, which represents (...) a tradition different from, and probably later than that of our chief authority, the excellent but unfortunately incomplete eleventh-century Parisinus , which, like all primary manuscripts of this type, contains many readings or corruptions which should not on account of its mere authority be accepted slavishly. Light is often thrown on the text from less important sources, and the truth may be recovered from manuscripts of the ‘Vulgate’ family, where our better authority fails. In this connexion the study of my own manuscript has led me to some conclusions in certain passages which I venture to set forth as suggestions towards an improved constitution of the text of the Heroides. Though it is clear from the preceding investigation into its nature that O is no primary manuscript, but belongs rather to that large class which has passed through various stages of reproduction involving alterations due either to carelessness of copyists or, more rarely, to deliberate alteration, it presents at the same time a phenomenon not unusual with such manuscripts, inasmuch as it often supports the best tradition, and in some cases preserves a reading which yields the truth, or from which the truth can be elucidated. I have used the following symbols: P = Parisinus 8242 s. xi. E = Etonensis s. xi. G = Gueferbytanus s. xii. V = Schedae Vindobonenses s xii. O = my manuscript s. xiv. D = Dresdensis s. xiii. ω = all or the majonly of the ‘Vulgate’ manuscripts. ζ = some of these manuscripts. (shrink)

In spite of the labours of Sedlmayer,1 Ehwald2 and Palmer,3 it cannot be said that there exists a completely satisfactory edition of Ovid's Heroides. One or all of these editors sometimes leave a corrupted text, sometimes adhere too closely to a manuscript reading, and sometimes introduce untenable emendations. A new edition is called for, with revised collati ons of the known manuscripts, and an augmented apparatus criticus, exhibiting the large class of what I may term the ‘Vulgate’ manuscripts, which represents (...) a tradition different from, and probably later than that of our chief authority, the excellent but unfortunately incomplete eleventh-century Parisinus, which, like all primary manuscripts of this type, contains many readings or corruptions which should not on account of its mere authority be accepted slavishly. Light is often thrown on the text from less important sources, and the truth may be recovered from manuscripts of the ‘Vulgate’ family, where our better authority fails. In this connexion the study of my own manuscript has led me to some conclusions in certain passages which I venture to set forth as suggestions towards an improved constitution of the text of the Heroides. Though it is clear from the preceding investigation into its nature that O is no primary manuscript, but belongs rather to that large class which has passed through various stages of reproduction involving alterations due either to carelessness of copyists or, more rarely, to deliberate alteration, it presents at the same time a phenomenon not unusual with such manuscripts, inasmuch as it often supports the best tradition, and in some cases preserves a reading which yields the truth, or from which the truth can be elucidated. I have used the following symbols:P = Parisinus 8242 s. xi.E = Etonensis s. xi.G = Gueferbytanus s. xii.V = Schedae Vindobonenses s xii.O = my manuscript s. xiv.D = Dresdensis s. xiii.ω = all or the majonly of the ‘Vulgate’ manuscripts.ζ = some of these manuscripts. (shrink)

quam dolor hie umquam spatio euanescere possit,leniat aut odium tempus et hora meum.Here “spatio” means “lapse of time” : it is illustrated by A. A. II. 113forma bonum fragile est, quantumque accedit ad annos,fit minor et spatio carpitur ipsa suo.As regards the whole couplet, besides at this place, it is found also after line 40 in all the MSS. except the Galeanus Vaticanus and Phillipps MS. There, though it fits in with the context, it is not required: here it is (...) indispensable. It should therefore be omitted from the text after line 40, where its presence is due to that species of interpolation which consisted in the insertion of other portions of a writer's work kindred in meaning, on which see Mr. Hall's Companion to Classical Texts, p. 198. (shrink)

Сборник посвящен изучению особенностей восприятия времени в различных исторических традициях и особенностей его фиксации в текстах. Для специалистов.